[MINIOS] XenBus tests disabled in MiniOS. Xend bug induced

by write to device/vif/0.
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>

diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c
index 1a7748fe0ddc9da077eb704f85674af9fb295ec0..8aefaaa248a1e740a4811e41d3d36d942dedb4ce 100644 (file)
--- a/extras/mini-os/kernel.c
+++ b/extras/mini-os/kernel.c
@@ -104,7 +104,8 @@ void test_xenbus(void);
 
 void xenbus_tester(void *p)
 {
-    test_xenbus();
+    printk("Xenbus tests disabled, because of a Xend bug.\n");
+    /* test_xenbus(); */
 }
 
 /* This should be overridden by the application we are linked against. */